Relaxing Behavioural Inheritance
نویسندگان
چکیده
منابع مشابه
Relaxing Behavioural Inheritance
initialisation (ai) concrete initialisation (ci) abstract operation (co) concrete operation (co) abstract finalisation (af) concrete finalisation (cf) abstract operation (ao) concrete operation (co) R R R R (a) Data refinement simulation ao
متن کاملConstraints of Behavioural Inheritance
We present an approach to component inheritance and reuse which closes the gap between architectural design and process-oriented approaches. To apply inheritance checks in design and verification of a system, one should consider an inheritance relation as a property of the system and specify it as an inheritance constraint. To specify the inheritance constraints we offer a logic of behavioural ...
متن کاملBehavioural inheritance in the UML to model software product lines
1 Traditional product line approaches struggle with complexity and weak evolution support. We 2 propose an evolutionary software product line modelling approach based on controllable inheritance 3 of product line members specifications. Instead of a predefined product line architecture we 4 use hierarchies of implemented product specifications plus correctness control of product model 5 transfo...
متن کاملRelaxing stratification
A number of ways of relaxing the stratification constraint for the axioms of Quine’s NF are reviewed. It is shown how most of them result in
متن کاملRelaxing the Value Restriction
Restricting polymorphism to values is now the standard way to obtain soundness in ML-like programming languages with imperative features. While this solution has undeniable advantages over previous approaches, it forbids polymorphism in many cases where it would be sound. We use a subtyping based approach to recover part of this lost polymorphism, without changing the type algebra itself, and t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2013
ISSN: 2075-2180
DOI: 10.4204/eptcs.115.5